大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Advances in Computing and Information Technology [electronic resource] : Proceedings of the Second International Conference on Advances in Computing and Information Technology (ACITY) July 13-15, 2012, Chennai, India - Volume 1

0
索取号：
作者：Meghanathan、 Natarajan.、Nagamalai、 Dhinaharan.、Chaki、 Nabendu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Modelling Foundations and Applications [electronic resource] : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings

0
索取号：
作者：Vallecillo、 Antonio.、Tolvanen、 Juha-Pekka.、Kindler、 Ekkart.、St枚rrle、 Harald.、Kolovos、 Dimitris.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Tools for High Performance Computing 2011 [electronic resource] : Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

0
索取号：
作者：Brunst、 Holger.、M眉ller、 Matthias S.、Nagel、 Wolfgang E.、Resch、 Michael M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

0
索取号：
作者：Madhusudan、 P.、Seshia、 Sanjit A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

0
索取号：
作者：Jeuring、 Johan.、Campbell、 John A.、Carette、 Jacques.、Reis、 Gabriel.、Sojka、 Petr.、Wenzel、 Makarius.、Sorge、 Volker.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computer Networks [electronic resource] : 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings

0
索取号：
作者：Kwiecie艅、 Andrzej.、Gaj、 Piotr.、Stera、 Piotr.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Pervasive Computing [electronic resource] : 10th International Conference, Pervasive 2012, Newcastle, UK, June 18-22, 2012. Proceedings

0
索取号：
作者：Kay、 Judy.、Lukowicz、 Paul.、Tokuda、 Hideyuki.、Olivier、 Patrick.、Kr眉ger、 Antonio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Cortellessa、 Vittorio.、Pierantonio、 Alfonso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Mobile and Ubiquitous Systems: Computing, Networking, and Services [electronic resource] : 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers

0
索取号：
作者：Puiatti、 Alessandro.、Gu、 Tao.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems [electronic resource] : 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings

0
索取号：
作者：Askoxylakis、 Ioannis.、P枚hls、 Henrich C.、Posegga、 Joachim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Trust and Trustworthy Computing [electronic resource] : 5th International Conference, TRUST 2012, Vienna, Austria, June 13-15, 2012. Proceedings

0
索取号：
作者：Katzenbeisser、 Stefan.、Weippl、 Edgar.、Camp、 L. Jean.、Volkamer、 Melanie.、Reiter、 Mike.、Zhang、 Xinwen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Grid and Pervasive Computing [electronic resource] : 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings

0
索取号：
作者：Li、 Ruixuan.、Cao、 Jiannong.、Bourgeois、 Julien.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Computational Intelligence [electronic resource] : IEEE World Congress on Computational Intelligence, WCCI 2012, Brisbane, Australia, June 10-15, 2012. Plenary/Invited Lectures

0
索取号：
作者：Liu、 Jing.、Alippi、 Cesare.、Bouchon-Meunier、 Bernadette.、Greenwood、 Garrison W.、Abbass、 Hussein A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Science-Theory and Applications [electronic resource] : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings

0
索取号：
作者：Hirsch、 Edward A.、Karhum盲ki、 Juhani.、Lepist枚、 Arto.、Prilutskii、 Michail.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Information Processing in Computer-Assisted Interventions [electronic resource] : Third International Conference, IPCAI 2012, Pisa, Italy, June 27, 2012. Proceedings

0
索取号：
作者：Abolmaesumi、 Purang.、Joskowicz、 Leo.、Navab、 Nassir.、Jannin、 Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Soft Computing in Management and Business Economics [electronic resource] : Volume 1

0
索取号：
作者：Gil-Lafuente、 Anna M.、Gil-Lafuente、 Jaime.、Merig贸-Lindahl、 Jos茅 M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.